Skip to main content

More right-solid
More right-solid
More right-solid
More right-solid
SHOW DETAILS
up-solid down-solid
eye
Title
Date Favorited
Creator
Gerard Arthus - Books and Items
by Sergei Alexandrovich Nilus
texts
eye 16,942
favorite 6
comment 1
Protokolog Sionskikh Mudnetsov, Protocols of the Learned Elders of Zion, original Russian Edition published in 1921, by Sergei Alexandrovich Nilus. This is one of the original publications of this work. No copyright notice and no copyright registration; this document is Public Domain under Rule 5 of the U.S. Copyright Statutes. E book scanned and created by Gerard Arthus; released into the Public Domain Under the Creative Commons License.
favoritefavoritefavorite ( 1 reviews )
Topics: garthus, garthus1, protocols, zion, elders, anti-semitism, Sergei Alexandrovich Nilus, Russian
Books to Borrow
by Marsden, Victor E. (Victor Emile), 1866-1920
texts
eye 231
favorite 1
comment 2
At head of title: United we fall, divided we stand
favoritefavoritefavorite ( 2 reviews )
Topics: Protocols of the wise men of Zion, Antisemitism
Topics: Ferguson, Robert, -1714. No Protestant plot. Part 3., Ireland--History--1660-1688.
The Library of Congress
by Freitas, Thome Luiz de. [from old catalog]
texts
eye 233
favorite 1
comment 0
Postscript signed M. P., i. e. Moral Philosopher. pseud. of P. Annet
Topic: Paul, the Apostle, Saint
"The wisdom of the ancients. Written in Latin by the Right Honourable Sir Francis Bacon, Knight, Baron of Verulam, and Lord Chancellor of England. Done into English by Sir Arthur Gorges, Knight." London, 1701. [9], p. 17-98
European Libraries
texts
eye 2,760
favorite 1
comment 0
Book digitized by Google from the library of Oxford University and uploaded to the Internet Archive by user tpb.
Topic: Proverbs
Source: http://books.google.com/books?id=FzEJAAAAQAAJ&oe=UTF-8
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Beaumont, Francis, 1584-1616; Fletcher, John, 1579-1625, author; Marshall, William, active 1617-1650, engraver; Macock, John, printer; Hills, Henry, -1689? printer; Martyn, John, active 1649-1680, bookseller; Herringman, Henry, -1704, bookseller; Marriot, Richard, active 17th century, bookseller; Cotton, Charles, 1630-1687, former owner; Gaffield, Thomas, former owner; Barton, Thomas Pennant, 1803-1869, former owner. MB
texts
eye 416
favorite 1
comment 0
Both authors' names appear within braces
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Beaumont, Francis, 1584-1616; Fletcher, John, 1579-1625, author; Marshall, William, active 1617-1650, engraver; Macock, John, printer; Hills, Henry, -1689? printer; Martyn, John, active 1649-1680, bookseller; Herringman, Henry, -1704, bookseller; Marriot, Richard, active 17th century, bookseller; Cotton, Charles, 1630-1687, former owner; Gaffield, Thomas, former owner; Barton, Thomas Pennant, 1803-1869, former owner. MB
texts
eye 375
favorite 2
comment 0
Both authors' names appear within braces
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Camus, Jean-Pierre, 1584-1652; Brooks, William, active 1631?-1640, bookseller; Brugis, Thomas, active 1640? translator; Du Verger, S., translator; Harper, Thomas, -1656, printer; Camus, Jean-Pierre, 1584-1652. Relations morales. English; Barton, Thomas Pennant, 1803-1869, former owner. MB; G.4072.18 Halliwell-Phillipps, J. O. (James Orchard), 1820-1889, former owner. MB
texts
eye 114
favorite 1
comment 0
Translation of selections from "Les evenements singuliers, ou, Histoires diverses" and "Relations morales."
Topic: Parables
John Carter Brown Library copy has: Luis moscosso: autograph; Luis Montt: bookplate
Topic: Imprint 1636
Golden Chain [Old Russian collection of moral teachings], the end of the 14th  —  the beginning of the 15th centuries. Russian State Library, Collection of Trinity Lavra of St. Sergius, № 11. Златая цепь [древнерусский сборник нравоучительных наставлений]. Конец XIV  —  начало XV вв. ГБЛ, собрание Троицо-Сергиевой лавры, № 11).
Topic: Old Russian Literature
Books to Borrow
by Aho, Alfred V; Hopcroft, John E., 1939- joint author; Ullman, Jeffrey D., 1942- joint author
texts
eye 266
favorite 11
comment 0
Bibliography: p. [451]-462
Topics: Computer programming, Computer algorithms, Ordinateurs, Algorithmes, Algoritmos, Programmation...
Books to Borrow
by Eco, Umberto; Martini, Carlo Maria, 1927-2012
texts
eye 75
favorite 2
comment 0
Secular obsession with the new Apocalypse / Umberto Eco -- Hope puts an end to "the end" / Carlo Maria Martini -- When does human life begin? / Umberto Eco -- Human life is part of God's life / Carlo Maria Martini -- Men and women-- according to the Church / Umberto Eco -- The Church does not fulfill expectations, it celebrates mysteries / Carlo Maria Martini -- Where does the layman find illumination? / Carlo Maria Martini -- Ethics are born in the presence of the other / Umberto Eco
Topics: Philosophy, General, History & Surveys - Modern, Religion / General, Religious, Eco, Umberto,...
Books to Borrow
texts
eye 211
favorite 7
comment 0
Includes index
Topics: Art techniques & materials, Drawing & drawings, Technique, Art, Art & Art Instruction,...
Folkscanomy: A Library of Books
by Dalen, D. van (Dirk), 1932-
texts
eye 2,308
favorite 4
comment 0
Logic and Structure Author: Dirk van Dalen Published by Springer Berlin Heidelberg ISBN: 978-3-540-20879-2 DOI: 10.1007/978-3-540-85108-0 Table of Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Gödel’s theorem
Topic: Logic, Symbolic and mathematical
Community Texts
by Alfred Ayer
texts
eye 44,274
favorite 25
comment 1
Classic introduction to objectives and methods of schools of empiricism and linguistic analysis, especially of the logical positivism derived from the Vienna Circle. Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth and probability, critique of ethics and theology, self and the common world, more.
favoritefavoritefavoritefavoritefavorite ( 1 reviews )
Topics: ermal, mallakastra, albania, philosophy
Books to Borrow
by Lemmon, E. J. (Edward John)
texts
eye 271
favorite 1
comment 0
Includes index
Topics: Propositional calculus, Predicate calculus
Books to Borrow
by Kaplan, Inc.
texts
eye 75
favorite 1
comment 0
Previous ed.: 2006
Topics: Law School Admission Test, Logic puzzles
Books to Borrow
by Eco, Umberto; Lumley, Robert, 1951-
texts
eye 179
favorite 7
comment 0
Mode of access: Internet
Topics: Popular culture, Mass media, Popular culture, Mass media
Books to Borrow
by Michael Caesar
texts
eye 79
favorite 4
comment 0
Topics: Eco, Umberto -- Philosophy., Semiotics.
NASA Technical Documents
texts
eye 255
favorite 1
comment 0
The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands...
Topics: COMPOSITE STRUCTURES, FLEXURAL STRENGTH, COMPRESSIVE STRENGTH, REINFORCEMENT (STRUCTURES), SANDWICH...
Books to Borrow
texts
eye 29
favorite 1
comment 0
Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984
Topics: Automatic theorem proving, Artificial intelligence, Computer programming
NASA Network Resource and Training Site
texts
eye 10
favorite 1
comment 0
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete...
Topics: NASA Technical Reports Server (NTRS), SOFTWARE ENGINEERING, THEOREM PROVING, COMPUTER PROGRAMMING,...
"Supported in part by the National Science Foundation under Grant no. NSF-GP-4636."
Topics: Computer science, Functions
Books to Borrow
by Asimov, Isaac, 1920-1992; Electron, Proton; Light, Magnetism; Motion, Sound
texts
eye 181
favorite 8
comment 0
Includes index
Topics: Science, Bargain Books, PHYSICS, Pysics, Physics
Books to Borrow
by Inman, D. J
texts
eye 124
favorite 2
comment 0
System requirements for computer disk (Vibration toolbox): PC; DOS; MATLAB or MATLAB student ed.; hard disk and floppy disk drive
Topic: Vibration
Books to Borrow
by Pfleeger, Shari Lawrence
texts
eye 188
favorite 4
comment 0
"An Alan R. Apt book."
Topics: Software engineering, Génie logiciel
Defense Technical Information Archive
texts
eye 11
favorite 1
comment 0
The Requirements Engineering Guidebook provides guidance and standards for government and private engineering personnel in defining and analyzing the requirements for a system. This guidebook addresses the initial phases of Air Force system acquisition (Conceptual and Validation Phases) and is intended to provide gridance for the acquisition of large-scale systems. However, the guidance can be applied to smaller, less complex systems and can be used in acquisition environments other than the...
Topics: DTIC Archive, Smith,Daniel G, LOGICON INC LEXINGTON MA, *SYSTEMS ENGINEERING, *MANAGEMENT...
Naval Postgraduate School
texts
eye 131
favorite 1
comment 0
Available from National Technical Information Service, Springfield, Va
Topic: Command
The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, Canada Author: Ronald F. Boisvert, Ping Tak Peter Tang Published by Springer US ISBN: 978-1-4757-6719-3 DOI: 10.1007/978-0-387-35407-1 Table of Contents: Network-Based Scientific Computing Future Generations of Problem—Solving Environments Developing an Architecture to Support the Implementation and Development of Scientific Computing Applications...
Topics: Computer science, Software engineering, Electronic data processing, Computer science, Computer...
Defense Technical Information Archive
by Defense Technical Information Center
texts
eye 11
favorite 1
comment 0
Real time embedded systems have particularly strict requirements on accuracy, safety and reliability. A central question in the design of such systems is how to support concurrent processing without adversely affecting the timing requirements of the system. Concurrent processing is essential because the only way to successfully meet some tight real time constraints is to use multiple processors. This thesis focuses on the distributed scheduling problem. It proposes a distributed scheduling...
Topics: DTIC Archive, Almeida, Jose Carlos Alves de, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *SOFTWARE...
Books to Borrow
by Leigh, William E; Ali, Dia L
texts
eye 75
favorite 1
comment 0
Includes index
Topic: Computer architecture
Books to Borrow
texts
eye 31
favorite 1
comment 0
xxiv, 736 pages : 24 cm
Topics: Computer architecture, Computer architecture
Defense Technical Information Archive
by Defense Technical Information Center
texts
eye 43
favorite 1
comment 0
In this report, we present an approach to improving the usability of software systems by means of software architectural decisions. We identify specific connections between aspects of usability, such as the ability to undo, and software architecture. We also formulate each aspect of usability as a scenario with a characteristic stimulus and response. For every scenario, we provide an architecture pattern that implements its aspect of usability. We then organize the usability scenarios by...
Topics: DTIC Archive, Bass, Len, CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, *SOFTWARE...
The BITSAVERS.ORG Documents Library
texts
eye 188
favorite 1
comment 0
From the bitsavers.org collection, a scanned-in computer-related document. auspex :: m2000 :: M2000 Software Architecture Dec98
Topics: auspex, host, solaris, configuration, nfs, filesystems, manualtitle, dataguard, boot, processor,...
The right software architecture is essential for a software-intensive system to meet its functional requirements as well as its quality requirements that govern real-time performance, reliability, maintainability, and a host of other quality attributes. Because an architecture comprises the earliest, most important, and most far-reaching design decisions, it is important for an acquisition organization to exercise its oversight prerogatives with respect to software architecture. Having the...
Topics: DTIC Archive, Bergey, John K, CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST,...
The basic purpose of the ABIS Task Force was to better align the science and technology program with the emerging Joint Vision 2010. The Task Force sought to develop elements of a C4I strategic framework that could guide key planning, architecture, and programmatic efforts and ultimately impact doctrine and training development as well. The ABIS Task Force was established as an initial step in forming a partnership between the Director of Defense Research and Engineering (OSD) and the Director...
Topics: DTIC Archive, DEPUTY CHIEF OF STAFF COMMAND CONTROL COMMUNICATIONS/COMPUTERS WASHINGTON D C DIR C4...
The cost of software today consumes over ten percent of the DoD budget. Software costs, complexity, and size continue to rise because of the ever increasing dependence of weapons and general purpose systems on computers. Software engineering, the Ada programming language, and efforts to determine the performance and risk of software development organizations by measuring process maturity represent key initiatives by the DoD to improve the quality, reliability, and maintainability of the...
Topics: DTIC Archive, Dick, David R, DEPUTY CHIEF OF STAFF COMMAND CONTROL COMMUNICATIONS AND COMPUTERS...
Defense Technical Information Archive
by Defense Technical Information Center
texts
eye 4
favorite 1
comment 0
The main objective of the spatial reasoning project, briefly stated, is to: Demonstrate the feasibility of using expert system technology as an aid to tactical mission planning and in particular to demonstrate the use of spatial reasoning in this context through a prototype system capable of knowledge-based spatial deduction. The prototype demonstration addresses a a subproblem of tactical mission planning, the determination of likely locations for enemy artillery batteries. This determination...
Topics: DTIC Archive, Perricone,Barry T, SOFTWARE ARCHITECTURE AND ENGINEERING INC ARLINGTON VA, *SPATIAL...
Books to Borrow
texts
eye 14
favorite 1
comment 0
1 online resource
Topics: Software architecture -- Congresses, Software engineering -- Congresses, Informatique, Software...
Books to Borrow
by Bass, Len; Clements, Paul, 1955-; Kazman, Rick
texts
eye 81
favorite 2
comment 0
Includes bibliographical references (p. 443-445) and index
Topics: Software architecture, System design
Books to Borrow
by Capon, Robin
texts
eye 220
favorite 6
comment 0
Topics: Drawing, Art & Art Instruction, Art, General, Study & Teaching, Techniques - Drawing,...
Books to Borrow
by Santmyer, Helen Hooven, 1895-
texts
eye 244
favorite 2
comment 0
Topics: Women, City and town life
Books to Borrow
by Jonathan Dee
texts
eye 80
favorite 3
comment 0
Topics: Egyptian literature -- Translations into English., Tales -- Egypt., Mythology, Egyptian., Egypt --...
Books to Borrow
texts
eye 39
favorite 3
comment 0
Includes index
Topics: VAX-11 (Computer), Compilers (Computer programs), Code generators, PL/I (Computer program...
Books to Borrow
by Field, Syd
texts
eye 572
favorite 11
comment 0
Includes index
Topics: Motion picture authorship, Cinéma, Cinéma
Books to Borrow
by White, Tony, 1947-
texts
eye 125
favorite 5
comment 0
Jacket subtitle: Step-by-step techniques of drawn animation
Topics: Animation (Cinematography), Animación (cinematografía)
Books to Borrow
by Scott, Henry Joseph, 1917-,Scott, Lenore, 1923-
texts
eye 74
favorite 1
comment 0
Describes the grammar, pronunciation, and writing of words and sentences in hieroglyphs
Topics: Egyptian language, Egyptian language
Books to Borrow
by Ilʹi͡a︡ Kutik
texts
eye 13
favorite 2
comment 0
Books to Borrow
by Hossell, Karen Price
texts
eye 123
favorite 5
comment 0
Includes Index
Topics: Egyptian language, Egyptian language
Books to Borrow
by Nichols, Charles E; Brown, Karen
texts
eye 118
favorite 2
comment 0
V. 1. - Lessons 1 - 9
Topics: Egyptian language, Egyptian language, Egyptian language, Egyptian language, Egyptian language
Books to Borrow
by Bridget McDermott
texts
eye 179
favorite 8
comment 0
Topics: History, History - General History, Egyptian language, Language, Egypt, Ancient - Egypt,...
Books to Borrow
by Mark Collier
texts
eye 117
favorite 5
comment 0
Topics: Egyptian language -- Writing, Hieroglyphic, Egyptian language -- Textbooks for foreign speakers --...
The Eclectic Review , July-Dec 1835 We are extremely glad to notice a reprint of Knox's "Christian Philosophy"; a work little known, and, if we mistake not, long out of print, but highly deserving of a place in the theological library. The work was undertaken under the not ill-founded apprehension that the popular Apologies for Christianity, and argumentative treatises in defence of Revelation, had 'contributed to the amusement of retired scholars almost 'persuaded of Christianity,'...
Topics: christianity, theology, systematic theology, apologetics, religion, biblicism, reformed theology
Books to Borrow
by Clarke, Arthur C. (Arthur Charles), 1917-2008; Kubrick, Stanley
texts
eye 378
favorite 17
comment 0
The classic science fiction novel that changed the way we looked at the stars and ourselves. From the savannas of Africa at the dawn of mankind to the rings of Saturn as man ventures to the outer rim of our solar system, 2001: A Space Odyssey is a journey unlike any other. This allegory about humanity's exploration of the universe and the universe's reaction to humanity was the basis for director Stanley Kubrick's immortal film, and lives on as a landmark achievement in storytelling. - Back...
Topics: Computers, Space vehicles, Human-computer interaction, Computers, Human-computer interaction, Space...
Books to Borrow
by Kubrick, Stanley; Raphael, Frederic, 1931-; Schnitzler, Arthur, 1862-1931. Traumnovelle. English
texts
eye 142
favorite 10
comment 0
"Dream story, by Arthur Schnitzler": p. [173]-281
Books to Borrow
by Nancy Grubb
texts
eye 40
favorite 3
comment 0
Topics: Angels -- Christianity., Angels in art.
Books to Borrow
by Bittinger, Marvin L
texts
eye 49
favorite 2
comment 0
Includes bibliographical references (page 125)
Topics: Logic, Symbolic and mathematical, Beweis, Logik, Mathematik, Logic, Symbolic and mathematical --...
Folkscanomy Mathematics: Books of a Mathematic Nature
by D.E. Mansfield & M. Bruckheimer
texts
eye 3,535
favorite 5
comment 0
D.E. Mansfield & M. Bruckheimer Background to Set & Group Theory Chatto & Windus 1965 Acrobat 7 Pdf 8.5 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Topics: Mathematics, Equivalence Relations, Isomorphism, Mappings, Cardinals
Books to Borrow
by Halmos, Paul R. (Paul Richard), 1916- . cn
texts
eye 323
favorite 3
comment 0
Topics: Set theory, Arithmetic
Books to Borrow
by Stoll, Robert R
texts
eye 178
favorite 6
comment 0
Nebent.: Introduction to set theory and logic
Topics: Mathematische Logik, Mengenlehre
Books to Borrow
by Goldman, Alvin I., 1938-
texts
eye 64
favorite 2
comment 0
Bibliography: p. [383]-422
Topics: Cognition, Knowledge, Theory of, Cognition, Philosophy
Books to Borrow
by Delbrück, Max; Stent, Gunther S. (Gunther Siegmund), 1924-
texts
eye 28
favorite 1
comment 0
ix, 290 p. : 24 cm
Topics: Evolution, Knowledge, Theory of, Metaphysics
Books to Borrow
by Walker, Richard, 1948-
texts
eye 22
favorite 3
comment 0
Includes bibliographical references (pages 293-303) and index
Topics: Knowledge, Theory of, Knowledge, Theory of, Erkenntnistheorie, Erkenntnistheorie, Essentialismus
Books to Borrow
by Sperber, Dan; Wilson, Deirdre
texts
eye 107
favorite 5
comment 0
Bibliography: p. [266]-274
Topics: Oral communication, Relevance, Inference, Cognition, Cognition, Communication interpersonnelle,...
Books to Borrow
texts
eye 96
favorite 2
comment 0
Includes bibliographical references
Topics: Education, Knowledge, Theory of, Kennistheorie, Éducation, Connaissance, Théorie de la
Books to Borrow
by Langer, Susanne Katherina Knauth, 1895-1985
texts
eye 82
favorite 2
comment 0
Vols. 2-3 published by: Johns Hopkins University Press
Topics: Mind and body, Biology, Emotions, Evolution, Arte (teoria), Estetica, Geest, Emoties
Books to Borrow
by Carnap, Rudolf, 1891-1970; Meyer, William H; Wilkinson, John
texts
eye 203
favorite 3
comment 0
Translation of: Einfuhrung in die symbolische Logik
Topics: Logic, Symbolic and mathematical, Logique symbolique et mathématique, Symbolische logica, Wiskunde
Books to Borrow
by Vernon Blackmore
texts
eye 16
favorite 1
comment 0
Topics: Evolution (Biology), Creationism.
Books to Borrow
by McGee, Glenn, 1967-; Caplan, Arthur L; Roopali Malhotra
texts
eye 22
favorite 1
comment 0
Includes bibliographical references
Topics: Human cloning, Cloning, Organism, Bioethical Issues, Religion and Science, Stem Cell Transplantation
Books to Borrow
by Wood, Roy V; Goodnight, Lynn
texts
eye 30
favorite 2
comment 0
Bibliography: p. 311-313
Topic: Debates and debating
Books for People with Print Disabilities
by Magoon, Kekla
texts
eye 1
favorite 1
comment 0
1 online resource (112 pages) :
Topics: Public welfare -- United States -- Juvenile literature, JUVENILE NONFICTION -- Social Issues --...
Source: removed
Strategy Guides
texts
eye 721
favorite 4
comment 0
The X Files Strategy Guide
Books to Borrow
by Butler, James Ramsay Montagu, 1889-; Gibbs, Norman Henry, 1910-; Gwyer, J. M. A; Ehrman, John; Gibbs, Norman Henry, 1910-; Howard, Michael Eliot, 1922-
texts
eye 125
favorite 4
comment 0
Includes bibliographical references and index
Topics: World War, 1939-1945, World War, 1939-1945